TO COMMIT or NOT TO COMMIT ?
نویسنده
چکیده
منابع مشابه
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming
For the control ow kernel of or-parallel Prolog with commit an operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information, the operational semantic...
متن کاملFast non-blocking atomic commit: an inherent trade-off
This paper investigates the time-complexity of the non-blocking atomic commit (NBAC) problem in a synchronous distributed model where t out of n processes may fail by crashing. We exhibit for t ≥ 3 an inherent trade-off between the fast abort property of NBAC, i.e., aborting a transaction as soon as possible if some process votes “no,” and the fast commit property, i.e., committing a transactio...
متن کاملAn Argument in Favor of the Presumed Commit Protocol
We argue in favor of the presumed commit protocol by proposing two new presumed commit variants that significantly reduce the cost of logging activities associated with the original presumed commit protocol. Furthermore, for read-only transactions, we apply our unsolicited updatevote optimizationand show that the cost associated with this type of transactions is the same in both presumed commit...
متن کاملVerifying Real-time Commit Protocols Using Dense-time Model Checking Technology
The timed-based automata model, introduced by Alur and Dill, provides a useful formalism for describing real-time systems. Over the last two decades, several dense-time model checking tools have been developed based on that model. The paper considers the verification of real-time distributed commit protocols using dense-time model checking technology. More precisely, we model and verify the wel...
متن کاملar X iv : 1 20 1 . 34 16 v 1 [ cs . S E ] 1 7 Ja n 20 12 Verifying Real - time Commit Protocols Using Dense - time Model Checking Technology ⋆
The timed-based automata model, introduced by Alur and Dill, provides a useful formalism for describing real-time systems. Over the last two decades, several dense-time model checking tools have been developed based on that model. The paper considers the verification of real-time distributed commit protocols using dense-time model checking technology. More precisely, we model and verify the wel...
متن کاملTeam COMMIT at TREC 2011
We describe the participation of Team COMMIT in this year’s Microblog and Entity track.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007